(ENSLLTT00000012433,ENSPTXT00000002419);